Schématisations iconiques, schématisations discursives dans le message publicitaire
نویسندگان
چکیده
منابع مشابه
Utilisation des schématisations de termes en déduction automatique. (Using term schematisations in automated deduction)
Term schematisations allow one to represent infinite sets of terms having a similar structure by a finite and compact form. In this work we study some issues related to the use of term schematisation in automated deduction, in particular in saturation-based first-order theorem proving. After a brief comparative study of existing schematisation formalisms, we focus on terms with integer exponent...
متن کاملTransport électronique dans le graphène
Remerciements Durant ces 3 années de Doctorat j'aurai beaucoup appris. Bien sûr, cela m'a per-mis d'aller beaucoup plus loin en physique. Cette thèse aura aussi été une leçon de vie, ces trois ans qui m'ont été donnés pour réaliser un projet de recherche ont été plus qu'instructifs. Tant sur le point de vue humain que professionnel, ce projet m'a donné l'occasion d'interagir avec beaucoup de mo...
متن کاملLe Traitement des Refusés dans le Risque Crédit
Résumé. Nous présentons la problématique du traitement des refusés dans le cadre de l’octroi de crédit. Les modèles d’octroi sont basés sur l’historique de remboursement du crédit par les clients acceptés par l’organisme de crédit, l’information sur les refusés manque donc systématiquement : il en résulte que les modèles sont construits sur des échantillons intrinsèquement biaisés. Dans le cadr...
متن کاملLe travail collaboratif dans le cadre d'un projet architectural
L’analyse des pratiques et des tendances des utilisateurs lors de la recherche d’information sur Internet permet de mettre en évidence plusieurs points. La recherche d’information devient performante après connaissance de la typologie des différents systèmes de recherche. Cette typologie favorise l’adoption d’une méthodologie de recherche que l’on peut caractériser par les systèmes pull, agents...
متن کاملSubstitutions dans le EDTOL Systèmes Ultralinéaires
We study ED TOL-systems with terminal alphabet in which all words derivated from the axiom countain a bounded number of occurrences of non-terminals. We define, also, unary operators associated with these systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ASp
سال: 1997
ISSN: 1246-8185,2108-6354
DOI: 10.4000/asp.3230